Towards connecting discrete mathematics and software engineering
نویسندگان
چکیده
منابع مشابه
Connecting and Serving the Software Engineering Community
Ç FOR more than four decades TSE has served as one of the most highly regarded archival venues in the field of software engineering. The standards that the community of editors and reviewers has established and that authors have met make TSE a journal where one can reliably find well-presented reports on novel, impactful and wellvalidated results. While archival journal publication has great va...
متن کاملMathematics, Computer Science, Software Engineering
This paper examines three ideas: First, the traditional relationship between a science, the mathematics it uses and the engineering based on it. Second, the nature of (software) computer science, which may not be a science at all, and its unusual use of mathematics. And finally, the nature of software engineering, its relationship with computer science, and its use of mathematics called ‘formal...
متن کاملTowards the Mathematics Software Bus
The Mathematics Software Bus is a software environment for combining heterogeneous systems performing any kind of mathematical computation. Such an environment will provide combinations of graphics, editing and computation tools through interfaces to already existing powerful software by flexible and powerful semantically integration. Communication and cooperation mechanisms for logical and sym...
متن کاملHow Engineering Mathematics can Improve Software
For many decades computer science researchers have promised that the "Formal Methods" developed by computer scientists would bring about a drastic improvement in the quality and cost of software. That improvement has not materialized. We review the reasons for this failure. We then explain the difference between the notations that are used in formal methods and the mathematics that is essential...
متن کاملChemical Engineering Software and Legal Protection Thereof
In recent years, an increasing number of Chemical Engineering Software (CES), which play an important role in improving efficiency in the petroleum industry, has been introduced to the market. Generally, software is the product of intellectual creativity, but protection of the intellectual property residing in software is the subject of some controversy. This paper explores the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Tsinghua Science and Technology
سال: 2020
ISSN: 1007-0214
DOI: 10.26599/tst.2019.9010012